🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·4h
🦀Rust Macros
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
💻Programming languages
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·4h
💻Local LLMs
Weeknotes #336 — Sleepy bones
andrewdoran.uk·10h
⭐Awesome lists
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Thinking with Nothinking Calibration: A New In-Context Learning Paradigm in Reasoning Large Language Models
arxiv.org·1d
🧠Intelligence Compression
When AI Doesn’t Understand You: A New Form of Global Inequality
undark.org·1h
🌍Cultural Algorithms
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·4h
🤖Grammar Induction
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·4h
📝Concrete Syntax
Can Large Multimodal Models Actively Recognize Faulty Inputs? A Systematic Evaluation Framework of Their Input Scrutiny Ability
arxiv.org·4h
🔍Z3 Parsing
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
Reasoning Beyond Labels: Measuring LLM Sentiment in Low-Resource, Culturally Nuanced Contexts
arxiv.org·4h
🌳Context free grammars
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
📝ABNF Parsing
The joy of building a bytecode VM from scratch
vivekn.dev·2h·
Discuss: Hacker News
🔩Systems Programming
GTPO: Trajectory-Based Policy Optimization in Large Language Models
arxiv.org·4h
💻Programming languages
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1d
📊Learned Metrics
CAP-LLM: Context-Augmented Personalized Large Language Models for News Headline Generation
arxiv.org·4h
📝Text Parsing
[R] LLMs Have a Heart of Stone: Demystifying the Soft Thinking Ability of Large Reasoning Models
reddit.com·16h·
Discuss: r/MachineLearning
🧮Prolog Parsing
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types